SQLite format 3@ - llB77#tableisabelle_session_infoisabelle_session_infoCREATE TABLE "isabelle_session_info" ("session_name" TEXT NOT NULL, "session_timing" BLOB, "command_timings" BLOB, "ml_statistics" BLOB, "task_statistics" BLOB, "sources" TEXT, "input_heaps" TEXT, "output_heap" TEXT, "return_code" INTEGER, PRIMARY KEY (session_name))I]7indexsqlite_autoindex_isabelle_session_info_1isabelle_session_info vvt$ ]HOL-SPARK:threads=2elapsed=2.495cpu=4.172gc=0.128factor=1.677zXZִF! L]ŗXf1-q恈eO/z`Ѓ)&4ȬX8 uIN'ס >#`>ۊj%Wؗ u.&'yt#w+aq _,J3I[I\z܃>v;L@BU^5c}IQ/ "%JV/R5rMr :Rj[,1.H<ɎB$pSH-f@PZBIad~M;8sy^"FFlTiU[D]+l07=1zh3(@/G'X$NiOz's-5߶<ݵ"ĖN͋E!mH!ݽ,^]檽޻=5'EF~s0&6NN?cy[=~[[=Cb \[Ǵwo,kiսQe?wu$`+pk݈Q$/g   HOL-SPARKYZ7zXZִF! ]ŗXi%5rX>~z v9?)F)?t"daaiQ= o)uI[VꒀZF="^xsİL^ԑ_|L7C|)WDZ1۞0/_>'Ԏ+G/ )a8 vuްP'~8E~tqΞt^J&m,䩹3t#p,u]#0S/]d 늬ֻq+ljj|kD)RspT!?fZ:U!s#ǟg rx3L[ގD"ǔ~Sy7'c00 ^9+ a@Q99 $Iێ*QiOIwn