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 [/ $d ]/ Dict_Construction:threads=2elapsed=43.253cpu=57.056gc=3.884factor=1.327zXZִF! []ŗXf1-/6vRZ*_vs(}L)WhuQeAO>YAo=&945ƾ@op_t8;| I+-SH:Cf5W2XSr,$'aWx&W+%kaMTO^;^pڴ0 W r`o|NoM؉vұ]_ǸCؼNWKjėw_8rvJÝE`IY`J›,={X2 qG؃ΪB㌰ OIC[-¦ttxyn H*'ww&[`Je 7^^aԠ<gAAhW0Ã$VT'MO1SQGylnom9ɬ"&@`7 %~UN{ q)7j/mUlˮ @4]_4fՃU}M9}vo'-"~Y 9 [eډe]>=$ǧt%ej U'Da4XຖȂ|7cSQrh)wzuKi'-qeg&zOdNK8Y$,&-gYZ7zXZִF! sl]ŗXiɟ*#; )zhWfLpDl VqlږY/|Q'C"ɏ12#ptGf-78 Ub6q.};,\bM:1U ~Z^OFK0>{;"Y[7Ϲg_A3-БHԦێ @-= :mijz!p,Ws]sW+ :2ND8$}vJp_/w!Tf+Iȱ~"- mQ/n$=^ֵTd{VQ&p]<SH9W0CAcMxeߺH (L\Ig͑d͞C\vmpj%:E~ ûlՅS-"w(qVUPhX%xߝf\QR-X?-[`[Tw!&ImZCϷAu:`2mF$5[.]ĵn)F YI !6@mi%#x= 0ÎJoz( ]Ծ CUI3޹x7OxۼR\R,۳-ySHiIJ&Bq<|gvchsal>MХ > E B uPIqȮ ?C- _A5@ه3":p3haj;'tx_0#+)ԙ;#8\'sb^XU Yjŏ[I 'P rb㩢+Xn\ӚG׼JʇY!!| s|q5\.pXErE- Tv'$(yh%6;Kb4/^l}Urpu:9x_ZN)wpM.hʰ3!$ޱo_ތvqC|a~~0~ Z>jrҝ.\rglA <ުm (M c14n~Br@E(Q\qULf.#'MJ!ȝYq&ݨr"[nO~qЀc?gf:Y[;UazftwElޖ=Wǔx_}{V_xCV!]ug`QT#J%WtxYDAWfl~k.@qa(L4yieúES}~6_! {ux_{8'Ƶ ;x^DY.s/hxX|V6l%np XfF!#fck0Y:ja*眕yYn[OBy5US[Hf/P ,hI+H0Ghj6Q_1(¨μT:O#F҄"!LT.I Q@nCmը#{UCiWEc^znmؾuA*DӁ_ze&I.-JC6HSG[5}ƣy9"orTXmb;!vS\c-Y=T-[Ք3Ƨ^ç |c9R%~L?qD VW(LjWAW $/ap5&[=W<+'qF &K!(e GngFo!܄r- 3fV_Dɪ׈W=EI5sMFz$c TD2[BW~\cWM-UI,{FbԂ~w.z]JJG}4BbL XLӻn8OAQVQ]SCV)0Õ9ujX4-r9RPe)SB9% -@َU!p\-@ĚVU/h+w8 !niܻ 'n}.,<ER 88gYZ73ec403c8364851dfe54e42aef10eee551ff1f0a325386da1460dc38f32089d1221024ec932a2181 06bff5eb73bee75606e14d28e9b646bebba8f569 / Dict_Construction