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 %5 ||D ]% DynamicArchitectures:threads=2elapsed=13.365cpu=25.068gc=0.656factor=1.887zXZִF! ]ŗXf1-/6vRZaKSt$uxek$x="Ǯ6xPm͌ͮBqj5%ISi-V_8Oz6XutD `$!T@̹̃  "G֙Ģft y$02$Rj䐟c+J@bEdtCN 'OV 8qnR *znMܡ`ȢO ۖj:nO~^AFQ,U"+W}-6pV,H)?_ 43n/YsҢTHթ5`S@F)bFcuW, 5>}CzE?.ʧ]:W TwQ*l2M7#`%FgYZ7zXZִF! u]ŗXiɟ:340Ψ_իX+jެDu?.jT yFaLWc]=hPLf S]t2fp~ /SR'b X:L^hgYZ7zXZִF! Y9]ŗXi%ή++1[<׻`W&o/,RuOrK%2V;lXeȜr8ȁ86\v9dUjLh>lVtuiGFؚX}]bBK3'gDv7# f,V p M˓JwoVxSpn\gw|,P u Xy|'ōgsn2R_ ufjCl\L>];.,eȴhy\]ŤAȯF%nqi)1"zy)R@)|P N۪zwt#$ n$-Ȥ(1 &ʑ[Zex}JvE@Ш"`@gs_GMȟ|ܕaTmkâR͓!v3漢&' ׾p0pV(W5c0C. 9զ5_;rdQ/^ۢ<]Jv+Ds6-WŦa苲?|%Q2^q*]Y+טS]UGTi%T T͙AsFg`^], T?6W]<~^ vU}IE(9Nd鐪ҼvJ|Rfxoj/_YZ{vřO BSF z =ik?ssW0Szr !Kt/7)@⨤o8* HUi:ڐpHf)W'6RWgxWߢ7TڰTcDE- C$&6[GՂV ֒t'0F!Ȫ V= IlAx7wU0)u^-8Z",Y)Լ !'V1#rEH*ɘX9"En72De@ՊH. GZATQ~U w%g M b=j4[(Cpks23 *kgYZfd9c9273ba6158f8148ce3bd67a44fc55d7c867700b13affeca8329065e523557b07861f9da96370 de656be5c82664d2d06f9d4f4c7a9247323f4c02 90fdd132dc269b22477e61acedc69f01f576d41c d0f680a53915d416d3b26c69192daf67ea9ba224 1180afbf1eaaba89dad639c645e56f9b114a3cae 5 DynamicArchitectures