SQLite format 3@ .0:  B --?tableisabelle_exportsisabelle_exportsCREATE TABLE "isabelle_exports" ("session_name" TEXT NOT NULL, "theory_name" TEXT NOT NULL, "name" TEXT NOT NULL, "executable" INTEGER, "compressed" INTEGER, "body" BLOB, PRIMARY KEY (session_name, theory_name, name))?S-indexsqlite_autoindex_isabelle_exports_1isabelle_exportsh77otableisabelle_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 %%X' L, ]]List-Infinite:threads=4elapsed=13.852cpu=51.332gc=2.252factor=3.717zXZִF! ~]ŗXf[&!9s`|kK4CQ.Ia Y<]F#tڿgʱ}=f: d7tb*vPyp hhq\:v#=L֭Ve2 CCQ< Wo9%u/hl`[>!!h*'RVV: ;G pq |nA}Dvٷ[+?qu݉:1 Os6&hj+X=j1Vv-̴d|Rs)k7*"\Zƺ`Љ%?O*k4awY+)+ؒ`a)Ûme/L~Σ*9ۦ@đ>JJU  mp2@2v0yHWV̈*dW&j*Lt)ճb h'gaSUMϩ$O"[" 3`"'|{=m$+RącAjN23v &;Id$QT_:ʖcz lE?aШ)X:;rdߥ'u NME<^fǙSQZ.u`%xah9DK 6N[scM iiERody?mJ#b:z!.kgYZ7zXZִF! ]ŗXiɟFTq7`T9t!VvMn2Eڈ2!fXwf#I)wi/)y?G<^*tE! q |iꚷu7ȶ,"f8ZQ5[2t|| O/j386rLΙ̼vHJ[ /Ir7vۺQ]L,"*y&Fײ62PY73HuZGAQ{sIC@r҇:gYZ7zXZִF! p?]ŗXi%GkɅpDlOh zPw`yˏvZA`*qS2Ul;z3!myXJ|ffOi~([|SbFQTʶTĪ:MRpO~dVj Aݷo28zrLJ~y2t&†z9TMmc} qbGu1e1 S@?']5Z3xXTB$mj^A *,-Ȩ GwwD ėBL3!%f/gPjTJ&tW;Ft}!.䅛U.=e*2_m fꡜvvAw =E¯:%.)>7܂Ij01fN8ø2H-F@f֢nY(C̗k'1GbeGNzm-_ lm*}SܛX7‚VR6xY6a?!mrY3[}]1vHA|hE$-Ht5GkνckxFH(ʇILj"&=pZta|te{39:$ @T}@5 Ls:خ,_\. Wxp<K{U95n̋jjlb[%,PSnX&布ܜ>ə;?F(ةuTe"iɸ󝲾Д ϴZm;[1쐁ͨswy_΀M\q NkxYi)h`#lYe9a}ݍY] `3~EJ6 UcHz j ʇa:#*d+]9I)sp VyVſ 6Ҳ8fH#jn3njEp[XG+{ǟrʽ}0|7ۏ"MM0iͷE۲HðG%?u00q)B- $<S6\h}>0"|q{psQ% yleuV!t췕*"2(Vsd& JL0@.ΠItב\ˢ{v_%a&%֖+9R.LvT$|2 bʺB2~^3 t/ v|]|vU.6I" b؊=ZR [=P4B^T-s}>=_b&5\F֫UuvHhhiHD&1UOc; NiY9:f>Ztc9k9yhQttv@!6# QG*;I2^/'5&J1 ] G4U()9}_Y+ ƙ3ıgYZ61fae229b1ce28a5d72df8bbba43a7ec5294d7124b4d09c9c1841a4f01c8958af89ec039a11204c4 f852689b23f90c1209b23c794bf5ab75a3b8eaf2 17d03261cfa6b3f7a3b00fc6599df4c0af151fd9a808fb0cf43a74c001f568ac000ca79b4c8d7417 ' List-Infinite