SQLite format 3@ . BBh77otableisabelle_session_infoisabelle_session_infoCREATE TABLE "isabelle_session_info" ("session_name" TEXT NOT NULL, "session_timing" BLOB, "command_timings" BLOB, "theory_timings" BLOB, "ml_statistics" BLOB, "task_statistics" BLOB, "errors" 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 ~1 Ld ]S HOL-SPARK-Examples:threads=2elapsed=20.466cpu=32.308gc=0.920factor=1.587zXZִF! ]ŗXf1-q恈׍ V$*(7e91z=%D㫝^ZŨᒜ1(s_uj}qX!wuY-ͼlFV9Z\ >j3tȝNdՐʛQm4 ($hO``i:-ܵDKGsICFS-mj lmҏh+iԛIdNF*c&t vloYH[񯧖Ի-3Yt߆<~l%F1 3 :$,,HT3 |$"Ʀo:Ykժi7+xGޚ\D<O*" S"eC:{"WSkӍno 7g2瘳gkt{PhVM6SmsKCd_54}F!G H L0;V#Q!rLbcZIA.Q|;a(콦svmKwCq*y^C [h/V"6InO]"r8s"64j1~`~\.^$3!'h)5reuY.n{ఌCUП2_y1ZĭIZɀpW@c_rYQ[k |gYZ7zXZִF! bi]ŗXi%96UZ'!&o_K=m:t3,~nNۆX;{6ʴ`Az6%wm pXK0#ˊd ez3WYҫmݜBn!\nDO#DaI,G`Yrm ,PSf 塂 |>kh纆lB.;Ǝj]>ƀwi G†N|x 2۱, GYeCvߤˏZ' |=0<2mGˢC4f<x)frWgkR(*0a[tjj 86:/$4YQ{_f{88`GN00}ũsfdՑ#$zp#[ZtѮ@LSEf2Cy^p$OZKoSZxԁ1Oz?A_npgYXuJ28I1$ʻIXdc&b$<2H?~׽ Zrڶ%ZऔHv, 9-/ylc`TNSvxQSGEb~H 5^KO*;;uL8  N!QD_I\I:@D~zRYI3K e5ƒ35<)~̶ZDSuf[ nh*/ KɁ|bÚCu<wFKh cL DŽs"@H,dӳKȽ&5+`IR>q%`J4IUOȏOl<=9hťOW"CrʡX3-kdbrs wQz aƸ7=wOi-ى-x]8fSN*ZSmt_M'J-ǵɇ` VC#0G藕R'C,RmPE:4BBvaw<yȈIEva͊60!|$;/ ^fO$yufqIu?d Zt~+m#uUX!Oʔб}r_b} mO2zh9^eЉjXbA(Aw:D 汒xwƎ9 -*p d RQ'x]2褺 :J<~:0r2CZD]mVX CgYZd96b5c21692d6f793223cc5185830b9f7b2c6c94e42b3e1f6b1378d353a536b3bfeb7e98c73ee3bc 976e5be91d6c7e38fb802dbd687a708c831185d2 f8615e0f9fd21380a30b77b96f61289100ca82e9 5af12f82f9a5e28bc56ede55c0c5cfb4c7c35e94 1 HOL-SPARK-Examples