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  %\ ] MSO_Examples:threads=2elapsed=67.889cpu=129.384gc=3.736factor=1.917zXZִF! %]ŗXf1-/6vR[UWdT-]!"Cu"0Lm% QWp37JDLqqyRXQ^|19 Q yvkfKpe#nqDeW{x-T*O`KQbjkX.=J|bR"}7Z  S=TԡaF]*Bu;ުt-iKFC=-R+bؚSO{V~O/) I }-Ӯ"~$"d 6h f)gYZ7zXZִF! |]ŗ % MSO_ExamplesXiɟ1˦r*E$<Ћ *Έ'&`ChsDz]-Ecr#~Ew+J/Ymxob 'r69]sv 5b8gYZ7zXZִF! 6 ]ŗXi%ύw4qO>644NJx$r(i "LE'Trh(e*i,Э=myhwoeNҌ肕q8Q}ke'2 @jDtcψ-Ŕv@L*AE^(,`C(=.AV ,Vyi{y)!Ґv[D|Q7v1&|yuGj9vhKJY$r~~oRmrwHaŘOc1)}Pu>VRJ+&qP\t𶽖rܞ%MESqzUrY4Dt̑+i.;;_\:B5iu3 8:b9k9|-eʽ?Ok*{یRL)Au ,7[C;k L2@;>MYV2Z,%;kXzZQ c"G+JyMģ$bïםLvPasȕS=wA^2 1(ͼcMY8iJ$;<_76Z{x{>+# Ϯ{`˕OTxΜYy>hǥm^o aoJT>+drbsU^{X0+ f~!YUm0Rh'تk>3{H#T Ff )AF8G4wAS{ $|4!5i8sh1S32, 얎3 $ %;+2ly_s@_ ')m07bVZw+=$gݑ(.H9b % 2&Ӗ#Pكz\. wYJ[N4-RբUFnlau1Q7Ii@f=] uosF'U}qx[ӡ15kꣀ6ۀƖ`D+#fv89ѐQ[K9孚>d,ԯWn_Ph>1{푹sWk˲#KAD>[俦t[e uFL9[뾈zKͰAp,) V8cM/+> Q@+$/܎)tGdU]F>-5c/0ٗf3.g5h(Alo[6>1h›t:m䩁fY#moXo8}5~JSI$\@(TCBMJxrU{ n')Qd>!XdU FG҉wrBmk\m>:H?զI"?VOO{\#*9ÍZl,d6"+-}Ʈ哅Kn`/C}eT'+)osO>+] /Im҅iǴG<'[ޮ nY_"Ҵ jrn zmD fɮHpBy@ֱDV!ܥi jh&X9wCۼϾ=7{_PdA+<X6:KrC@S-mBJ9UTV᏾|u+)GR囥J;?1+4-Z,0AW_ t-Jkw<{rU?YJHQr>i9 ηPoMRsWǝĀ0Z_ 4=j~YO\SO/b|sÿgY 6Se_y.sĭ`Q7~O#5ؖd#[4!x_sM<q܂k8%cBz-nS0MJbo. NkT{TN1ؓb40L> jn=*:x_=gYZf320b1739e4f701542f928ff80a12b72f0b06b96d6ac031d3e88d65563eac5f02a097b7a1de9a7e3 f9599c72045408b4573575612b1544f97d3e8615 a2740481256889074b4d84472f58eb9500fb8a39