SQLite format 3@ . YYQ77Atableisabelle_session_infoisabelle_session_infoCREATE TABLE "isabelle_session_info" ("session_name" TEXT NOT NULL, "session_timing" BLOB, "command_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 9 l| ]% Dijkstra_Shortest_Path:threads=2elapsed=65.919cpu=84.796gc=4.068factor=1.297zXZִF! !\]ŗXf1-/6vRZމUaHz..pA2`-*5",Z l{闸 ;-XS-3uHWKK&q@߼Ұ}0-uJщ+C;$o<𩥏pJnw>)v3PNg2hQp.[*fb&`MJo[mNu$`rmI8<|˨3uhH;aMM?ܸ5SBbLJ9l$~嫊!oD t$"됚CwĘ93螗[Oy@0Oo[y/Ui#Q1\3mϽ#$֍N L.` qsVh ޸YC15`s7#炄(@; YJkk* ?[="DV3/<+sQ]L`q!7n1Ӏs혳pƷUWux]D4סv\'40l7EZP\xF^#2wڍjSA/3 )K*n7 r9|m "`[c%_FrRG` ?Ç n3,zK3H88Y yD4pࡋxhV?Tw54L#1byԍT BA9-F kVB &fgYZ7zXZִF! ; ]ŗXi%60mÄxZٵk7:Ycb`?ѝ8mK@;A4!͕7R~c{$3LV ocv)"?7%}ً֨ !|'B57m*0W#e- Diu)} 6h4 \c ʊ)n6CI@u8ř>W gHTE#s[8CҰxFO[%u2Arī"N_xb$ɮ R> t/rs#p (#&cl[ =a59%죴%dD(\?L-t H`^] y{U"`=_t*fie0@kf87u }SblGp g6v-=ft-gE6jw|x~/p&ZKm|9< T9wW^A( "(tי|c۔p+Avu%JJdaXU=+YOAjX&|-=Z@H[gr=0mGKH"OA仃2uTD.%|s^JҒӨ㶧(46 (a7~ @Rca>ōEa]H]fb3fv~};Un,&R?vfM>ޚr_,{wF>L D>q}?B:ǒNPǎQ҇Q|TP4:79uėc&&ny@uw*I(,]ڀX@M+mvv>z?ۣɕ;%m 3dz ΫS#Jc ;9?mh~uBH]wBB_g6ޮA"` *L>,<{ub%/CydqMq.XGk&JfPCPe&dgc\ZQt4Vh=t`t,~tpw/VQ" @"Bn7V}TPM8&UMee P :9fظG Ⱬ|*<8:V0ވ_-Cazq餩Lgo#<|Ÿ g#S(18@tZzAXtɞSmAéw NQ`[|:Fؠ~}21Owi"vA Kw2 kizLLҤsw30zeGJH6-ӼKՐ!LOqu7yzva>P:ڢ?BL޷VnZ93$r>G2OػN )~p4=iDkzsxՌd<|1<ʿ~?hNiR\P6Vstzڇ g֗(G!<{c^IRx ֲ';"rvd.e,Qn 2p9S7$ԻXg8M39n*7665߰+kB#gǁ1o owJ|V[Q C&